The Lambda Cal

Lambda Cal ulus : A Case for

Partial Evaluation for the Lambda Cal ulusNeil

A Proof of the Chur h - Rosser Theoremfor the Lambda Cal ulusin Higher Order Logi

A Lambda Cal ulus of Obje ts with Self - In i ted

Types and Models for Higher-Order Action Calculi

Milner introduced action calculi as a framework for representing models of interactive behaviour. He also introduced the higher-order action calculi, which add higher-order features to the basic setting. We present type theories for action calculi and higher-order action cal-culi, and give the categorical models of the higher-order calculi. As applications , we give a semantic proof of the cons...